VDict mobile



effective procedures not found. Suggestions:

addressing mode
effective computable
Record Management Services
indirect address
PL/I
lambda-calculus
Idealized CSP
monitor
Trilogy
Isabelle